Μ operator - PDFSEARCH.IO - Document Search Engine

Μ operator
Results: 274

#	Item
41	Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function Substitution Μ operator Mathematics Mathematical logic Logic
42	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
43	Existence of a Monetary Steady State in a Matching Model: Indivisible Money∗ Tao Zhu Department of Economics, Cornell University 442 Uris Hall, Ithaca, NY 14853 Add to Reading List Source URL: ihome.ust.hk Language: English - Date: 2009-08-09 10:03:18 Analytic number theory Prime-counting function Symbol Spectral theory Algebraic topology Μ operator Natural deduction Mathematics Mathematical analysis Algebra
44	Latent Fault Detection in Cloud Services Mickey Gabela,b,1 , Ran Gilad-Bachracha , Nikolaj Bjørnera , Assaf Schustera,b,1 a Microsoft b Computer Research, Redmond, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-07-13 21:23:13 Turing machine Μ operator Models of computation Computability theory
45	Orbital stability for NLS Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Let n = 3, and take p < 43 . Some of the material we will present for general Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:52:33 Temporal logic Μ operator Operator theory Differential geometry Linear temporal logic
46	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
47	Bispectrum in Single-Field Inflation Beyond Slow-Roll Peter Adshead,1 Wayne Hu,1, 2 and Vin´ıcius Miranda2, 3 arXiv:1303.7004v1 [astro-ph.CO] 27 Mar Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2015-01-06 12:05:28 Complex analysis Image processing Signal processing Bispectrum K1 K2 Lambert W function Spectral density Μ operator Mathematical analysis Fourier analysis Integral transforms
48	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
49	Context-Sensitive Equivalences for Non-Interference based Protocol Analysis ? Michele Bugliesi, Ambra Ceccato, and Sabina Rossi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia via Torino 155, 30172 Vene Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:04 Bisimulation Logic in computer science Golden ratio Numbers Μ operator Mathematics Theoretical computer science Applied mathematics
50	Edge state integrals on shaped triangulations Rinat Kashaev University of Geneva joint work with F.Luo and G. Vartanov arXiv:EMS/DMF Joint Mathematical Weekend Add to Reading List Source URL: projects.au.dk Language: English - Date: 2013-04-25 09:56:55 Physics Operator theory Mathematical analysis Conformal field theory Lie algebras Linear temporal logic Μ operator Symbol Logarithm Mathematics